Czy możliwe jest ufundowanie teorii etycznej na emocji podziwu?

Formalizacja naiwnej teorii typów

Językiem współczesnej matematyki jest teoria mnogości. Praktycznie wszystkie dowody matematyczne przeprowadza się na gruncie teorii zbiorów. Wszystkie książki i artykuły naukowe pisze się zakładając niejawnie aksjomaty ZF lub ZFC. Nawet nauczanie matematyki, od przedszkola po uniwersytet, prowadzi się na gruncie teorii mnogości. Jednak teoria mnogości została wprowadzona w zupełnie innym celu. ...

Lexo: a Lexical Layer for Ontologies – Design and Building Scenarios

Streszczenie. W artykule jest opisana warstwa leksykalna (słownikowa) ontologii oraz scenariusze jej budowy. Ta warstwa rozszerza opisy słowne danej ontologii, definiuje znaczenia leksykalne za pomocą słów występujących w kontekście danego terminu oraz wiąże je z elementami ontologii. Możliwe jest dołączenie znaczeń leksykalnych zdefiniowanych za pomocą znanych zasobów, jak WordNet czy Wikipedia.

Badanie zanurzalności algebr częściowych za pomocą systemów przepisywania termów Autoreferat

Operacja rozszerzenia algebry (zanurzenia w inną algebrę) wydaje się mieć w teorii algebr częściowych znacznie większe znaczenie niż w przypadku totalnym. Jeśli bowiem rozserzana algebra jest częściowa, jej nośnik może algebrę już rozszerzoną generować, co można interpretować jako wzbogacenie, a jeśli rozważamy rozszerzenie do algebr totalnych, to wręcz uzupełnienie obiektu reprezentowanego prz...

Okołoporodowe źródła komórek macierzystych Perinatal sources of stem cells

Komórki macierzyste są jednym z odkryć medycyny i biologii wywołującym tyle samo nadziei w terapii, co kontrowersji natury etycznej i medycznej. Badania nad nimi zapoczątkowane już na początku XX w. wciąż dostarczają coraz więcej informacji o możliwościach i nadziejach terapeutycznych w ich praktycznym wykorzystaniu, ale także wątpliwości etycznych dotyczących pozyskiwania, czy zagrożeń w dział...

Stavové rovnice v teorii regulace